TCOWS - Canevas pour la composition de services web avec propriétés transactionnelles. (TCOWS - Transactional Composition Of Web Services)

Interface : Community −→ WSDL-description { AbstractInterface (co) est la description WSDL de l’interface abstraite de la communauté co. } Register : Community, Service, URL, URL, string −→ boolean { Register (co, s, urlS, urlA, pro) est vrai ⇐⇒ l’inscription auprès de la communauté co du service s d’URL urlS a réussi. Ce service est muni de l’adaptateur accessible à l’URL urlA. Cet enregistrement est fait par le fournisseur pro et rend accessible le service s via la communauté co, c’est-à-dire : ∃ rs ∈ RegisteredServices (co) | urlS = ServiceURL (co, rs) et urlA = Adapter (co, rs). Il n’y a pas de contrainte sur le modèle de qualité de s. } Quit : Community, RegisteredService, string −→ boolean { Quit(co, rs, pro) est vrai ⇐⇒ le service rs, fournie par pro, n’est plus inscrit à la communauté co (c’est-à-dire rs 6∈ RegisteredServices (co)). Pré condition : rs ∈ RegisteredServices (co) } 4.2.3 Sélection de services Nous introduisons ci-dessous la fonction Select, à destination des clients, qui leur permet de sélectionner des services selon un ensemble de critères de qualité. L’ensemble des critères fournis à la sélection est un sous-ensemble des critères du modèle de qualité de la communauté. Les services qui ne répondent pas à tous les critères fixés dans l’expression de sélection ne sont pas considérés. Nous ramenons le choix multicritère à un choix monocritère en associant à chaque critère un poids [BC06]. Finalement, une fonction booléenne est donnée en paramètre et est associée à chaque critère. Cette dernière permet d’exprimer une restriction sur les services sélectionnés (par exemple, le temps de réponse doit être inférieur à 10 millisecondes). Des exemples concrets sont montrés dans la sous-section 4.3. Le type Restriction décrit des fonctions à valeurs booléennes, et le type Weight celui des valeurs réelles définies dans l’intervalle [0..1]. Ces types sont utilisés plus loin dans la spécification de la fonction de sélection de services dans une communauté : type Restriction : (type −→ boolean) type Weight : real in [0..1] RequiredQuality : 〈 c : Criterion〈T〉, p : Weight, r : Restriction 〉 { Soit nq donné dans RequiredQuality. nq décrit un niveau de qualité relativement au critère nq.c. La restriction nq.r exprime une contrainte requise sur ce critère et nq.p est le poids donné à ce critère. }